CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 1...
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 1... by Kaufmann, Matt, Paulson, La... ISBN: 9783642140518 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
2.
Isabelle
Isabelle by Paulson, Lawrence C. ISBN: 9783662180549 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
3.
Isabelle/Hol
Isabelle/Hol by Nipkow, Tobias, Paulson, La... ISBN: 9783662182291 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Isabelle A Generic Theorem Prover
Isabelle A Generic Theorem Prover by Paulson, Lawrence C., Goos,... ISBN: 9780387582443 List Price: $71.95

OUT OF STOCK

See Availability on Amazon